(check (= (/ 4 2) 2) )

